Principes |
Computationele complexiteitstheorie |
Modellen |
Algoritme |
Turingmachine |
Lambdacalculus |
Theorieën |
Berekenbaarheid |
Complexiteitsgraad |
NP-volledig |
In de complexiteitstheorie is berekenbaarheid een eigenschap van functies. Een overeenkomstige eigenschap voor verzamelingen en eigenschappen is beslisbaarheid. In alle gevallen gaat het om het bestaan van een algoritme.